:: Int -> CInt package:linear-base

Convert from an Int.